\begin{tabbing}
$\forall$$a$, $b$:$\mathbb{Z}$.
\\[0ex]($a$ $\leq$ $b$)
\\[0ex]$\Rightarrow$ \=($\forall$$E$, $F$:(\{$a$..$b$$^{-}$\}$\rightarrow\mathbb{Q}$).\+
\\[0ex]$\Sigma$$a$ $\leq$ $i$ $<$ $b$. $E$($i$) + $F$($i$) = ($\Sigma$$a$ $\leq$ $i$ $<$ $b$. $E$($i$) + $\Sigma$$a$ $\leq$ $i$ $<$ $b$. $F$($i$)) $\in$ $\mathbb{Q}$)
\-
\end{tabbing}